Algebraic Identity: (a b)^2 = a^2 + b^2 2ab